Higher-order functions - PDFSEARCH.IO - Document Search Engine

Higher-order functions
Results: 290

#	Item
151	Call Arity Joachim Breitner Karlsruhe Institute of Technology [removed] Abstract Add to Reading List Source URL: www.joachim-breitner.de Language: English - Date: 2014-10-06 15:51:37 Higher-order functions Universal algebra Recursion Lambda calculus Computability theory Fold Combinatory logic Map Arity Mathematics Mathematical logic Theoretical computer science
152	Lisp in Summer Projects Submission Submission Date[removed]:41:45 Full Name Add to Reading List Source URL: lispinsummerprojects.org Language: English - Date: 2014-07-29 16:18:58 Lisp programming language Functional languages Higher-order functions Read–eval–print loop Clojure Lisp Scripting languages JavaScript Map Computing Software engineering Computer programming
153	CALCULATING KEY RATIOS FOR FINANCIAL PRODUCTS USING AUTOMATIC DIFFERENTIATION AND MONTE CARLO SIMULATION ESBEN BISTRUP HALVORSEN Abstract. A library for higher order, multivariate automatic differentiation Add to Reading List Source URL: hiperfit.dk Language: English Differential calculus Multivariable calculus Differentiation rules Functions and mappings Generalizations of the derivative Derivative Chain rule Partial derivative Product rule Mathematical analysis Calculus Mathematics
154	Exploring the Type Inference Approach to Deforestation Marie-Christine (Kirsten) Chevalier Submitted in Partial Fulfillment of the Prerequisite for Honors in Computer Science Add to Reading List Source URL: catamorphism.org Language: English - Date: 2012-08-01 20:37:57 Higher-order functions Subroutines Functional programming Lambda calculus Type theory Fold Map Function Currying Software engineering Declarative programming Computing
155	Preliminary Thoughts on Ultracomputer Programming Style by J.T. Schwartz Ultracomputer Research Laboratory Courant Institute of Mathematical Sciences 715 Broadway, 10th Floor Add to Reading List Source URL: www.multimedialibrary.com Language: English - Date: 2014-03-05 11:07:09 Bitonic sorter Ken Batcher Computing Boolean algebra Quasigroup Map Software engineering Mathematics Higher-order functions Nonassociative algebra
156	ProofPower DESCRIPTION PPTex-2.9.1w2.rda[removed]c : Lemma 1 Ltd. 2006 Add to Reading List Source URL: www.lemma-one.com Language: English - Date: 2011-07-27 09:29:49 Logic in computer science HOL Logic for Computable Functions Lexical analysis Michael J. C. Gordon ML Inform D Higher-order logic Software engineering Computing Computer programming
157	ProofPower HOL REFERENCE MANUAL PPTex-2.9.1w2.rda[removed]c : Lemma 1 Ltd. 2006 Add to Reading List Source URL: www.lemma-one.com Language: English - Date: 2011-07-27 09:29:51 Logic Mathematical logic Model theory HOL Higher-order logic Theory Logic for Computable Functions Logic in computer science Theoretical computer science Concepts
158	Embedding R in Postgres Duncan Temple Lang April 11, 2001 Abstract We describe a mechanism by which the R statistical environment is embedded in the Postgres Relational Database Management System. The result is that one Add to Reading List Source URL: www.omegahat.org Language: English - Date: 2011-12-08 07:32:49 SQL keywords Subroutines Relational database management systems Cross-platform software PostgreSQL Higher-order functions Function SQL Null Computing Software engineering Software
159	A companion booklet to ”Functional Programming in Scala” Chapter notes, errata, hints, and answers to exercises Rúnar Óli Bjarnason This book is for sale at http://leanpub.com/fpinscalacompanion This version was p Add to Reading List Source URL: samples.leanpub.com Language: English - Date: 2015-03-05 16:42:03 Data types Functional programming Lisp programming language Higher-order functions Abstract data types Cons Fold List ALGOL 68 Software engineering Computing Computer programming
160	PDF Document Add to Reading List Source URL: isabelle.in.tum.de Language: English - Date: 2014-08-27 06:04:04 Higher-order functions Functional languages Algebraic structures Abstract data types Procedural programming languages Fold Monoid Semigroup Double-ended queue Software engineering Computing Computer programming

UPDATE